$a$ {-}{-} $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$imax($a$ {-} $b$;0)